$\forall$$A$, $B$:Type, ${\it eq}_{1}$:EqDecider($A$), ${\it eq}_{2}$:EqDecider($B$), $L$:($A$$\times$$B$) List.
\\[0ex]no\_repeats($A$;fpf{-}domain(fpf($L$)))